Ninth International Conference on Principles and Practice of Constraint Programming – CP’03 WORKSHOP PROCEEDINGS MultiCPL’03: Second International Workshop on Multiparadigm Constraint Programming Languages and RCoRP’03: Fifth International Workshop on Rule-Based Constraint Reasoning and Programming
نویسندگان
چکیده
This paper explains how to design and implement an extension for by-need synchronization for a confluent (subset of a) multiparadigm concurrent constraint language, while keeping the extended language confluent. It reveals the subtleties and pitfalls that can easily lead to the loss of confluence, especially in languages with a powerful unification operator. The authors report on their own experiences, and provide guidelines for similar projects, based on considerations regarding the monotonicity of the constraint store. This paper also explores the boundaries of confluent extensibility for such languages.
منابع مشابه
Eighth International Conference on Principles and Practice of Constraint Programming – CP’02 WORKSHOP PROCEEDINGS MultiCPL’02: Workshop on Multiparadigm Constraint Programming Languages and RCoRP’02: Fourth Workshop on Rule-Based Constraint Reasoning and Programming
FaCiLe is an open source constraint programming library over integer finite domain written in OCaml, a functional language of the ML family. It offers all usual constraint system facilities to create and handle finite domain variables, arithmetic constraints (possibly nonlinear), built-in global constraints and search goals. FaCiLe allows as well to build easily user-defined constraints and goa...
متن کاملProceedings of the 7th International Workshop on Constraint Handling Rules
This volume contains the papers presented at CHR 2010, the Seventh International Workshop on Constraint Handling Rules held at the occasion of ICLP 2010, part of FLoC 2010, on 20 July 2010 in Edinburgh, Scotland.
متن کاملProceedings of CHR 2005, Second Workshop on Constraint Handling Rules
This book contains the Proceedings of CHR 2005, the Second Workshop on Constraint Handling Rules, held at the occasion of ICLP 2005 in Sitges (Spain) on October 5, 2005. The Constraint Handling Rules (CHR) language has become a major declarative specification and implementation language for constraint reasoning algorithms and applications. Algorithms are often specified using inference rules, r...
متن کاملProceedings of the Ninth International Workshop on Constraint Handling Rules September 4 th , 2012 Budapest , Hungary
This volume contains the papers presented at CHR 2012, the 9th International Workshop on Constraint Handling Rules held on September 4th, 2012 in Budapest, at the occasion of ICLP 2012. This workshop was the ninth in a series of annual CHR workshops. It means to bring together in an informal setting, people involved in research on all matters involving CHR, in order to promote the exchange of i...
متن کاملCHR 2009 — Proceedings of the 6 th International Workshop on Constraint Handling Rules
This volume contains the papers presented at CHR 2009, the sixth international workshop on Constraint Handling Rules, held on July 15th, 2009 at the occasion of ICLP 2009 and IJCAI 2009 in Pasadena (California, USA). Previous workshops on Constraint Handling Rules were organized in May 2004 in Ulm (Germany), in October 2005 in Sitges (Spain) at ICLP, in July 2006 in Venice (Italy) at ICALP, in ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003